I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien 前者是將定性仿真算法看作一類約束滿足問題,用約束邏輯程序加以改進,不僅為解決定性仿真問題提供了邏輯框架,而且也是一種規范化的程序描述語言;模糊定性仿真算法則是對純定性仿真算法在知識描述、狀態轉移規則、過濾算法等方面的改進,是一類半定量描述方法,有利于在定性仿真領域綜合定量信息,同時提高算法的效率。
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses.
constraint logic programming meaning:[Computer] (CLP) A programming framework based (like Prolog ) on LUSH (or SLD ) resolution , but in which unification has been replaced by a constraint solver . A CLP interpreter contains a...